Rapid Development of a Distributed Shop Floor Control System from Formal Model-based Control Software Specification

As the level of distribution of resources in a shop floor grows, the development of control software for distributed shop floor control is of significant interest. Since hand-woven control software is expensive and difficult to reconfigure, a formal methodology that supports generating control software rapidly is in need of exploitation. Although a number of approaches to formal specification and development methodologies on such purposes have been presented, their contexts do not focus on distributed shop floor control. Consequently, they lack integrity between specification and development methodologies. The objective of the dissertation is to propose a methodology to generate a distributed SFCS rapidly from the formal model-based control software specification. Specifically, the set of XMLbased formal models are proposed to specify the control software functions and processes. Concepts, syntaxes, and semantics are identified for the set of formal models including the resource specification model, the resource relationship model, the monitoring-execution model, and the decision-making model. The results of formal modeling are stored as XML documents, which will play an instrumental role in bringing about a rapid generation of control software. The specification tool required for the seamless transition from the formal models into control software is proposed for the specification of control software. The specification tool is used to rapidly construct and validate the formal models, which are then translated into executable codes via the generation tool. The methodologies are also investigated and proposed for each tool to be